Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
191	Modeling with the AADL [removed] AADL meeting — April 2007 Semantics of AADL Architectures Add to Reading List Source URL: aadl.sei.cmu.edu Language: English - Date: 2009-04-07 07:40:13 Design Systems architecture Architecture Analysis & Design Language Subroutine Object-oriented programming Architectural pattern Software engineering Software architecture Computer programming
192	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Cornell University 7 April 1999 Abstract Type dispatch constructs are an important feature of many programming languages. Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:40 Procedural programming languages Tagged union Type theory ALGOL 68 Truncated dodecahedron Denotational semantics Programming language theory Computing Software engineering
193	FEDELE: A Mechanism for Exending the Syntax and Semantics for the Hybrid Functional-Object-Oriented Scripting Language FOBS James Gil de Lamadrid Bowie State University, 14000 Jericho Pk Rd, Bowie, MD[removed]jgildelamadr Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Data types Cross-platform software Procedural programming languages Type theory Scripting languages Anonymous function C Foreach loop Scope Software engineering Computing Computer programming
194	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Mechanized semantics for the Clight subset of the C language Sandrine Blazy · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-07-17 05:14:09 C programming language C++ Procedural programming languages Data types Programming language semantics Sizeof Pointer C++ classes C Software engineering Computing Computer programming
195	Towards Certified Management of Financial Contracts∗ Patrick Bahr, Jost Berthold and Martin Elsman University of Copenhagen Dept. of Computer Science (DIKU) {paba,berthold,mael}@di.ku.dk Add to Reading List Source URL: hiperfit.dk Language: English - Date: 2015-04-10 04:24:17 Denotational semantics Contract law Software engineering Type safety Symbol Forward contract Contract Futures contract Derivative Theoretical computer science Programming language semantics Logic in computer science
196	Object Closure Conversion ∗ Neal Glew Cornell University 24 August[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:33 Computer science Computability theory Lambda calculus Programming language semantics Denotational semantics Orbifold Theoretical computer science Models of computation Applied mathematics
197	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
198	Run Your Research On the Effectiveness of Lightweight Mechanization Casey Klein1 Matthew Flatt4 John Clements2 Add to Reading List Source URL: eecs.northwestern.edu Language: English - Date: 2011-11-14 12:38:44 Control flow Theoretical computer science Logic in computer science Functional programming Continuations Lambda calculus Robert Bruce Findler Reduction strategy Operational semantics Software engineering Computing Programming language theory
199	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science

UPDATE